negative a implies b gate

负A 蕴含B 闸